Commentary on the Poem "Disabled"

The Commentary Tradition ON THE ILĀHIYYĀT OF THE SHIFĀʾ

This article reviews the commentary tradition around the Metaphysics of Avicenna’s Shifā’ as it evolved in the lands that belonged to Avicenna’s own cultural horizon, most of all in Iran. From this overview it emerges that this tradition is characterized by a keen interest  in textual criticism and a solid philosophical grasp of Avicenna’s metaphysical doctrines. This interest...

survey on the rule of the due & hindering relying on the sheikh ansaris ideas

قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...

Life: A Poem

The Part of Anthropology in Ethics Based on Almizan Commentary

Due to origin of human agency, Allameh Tabatabaie has proposed “Monotheistic Ethics” that not only encourages attitude of limited human in this mundane world toward ethics of metaphysics but also it has considerable effects on objective realization of ethical values as well as creating motivation in ethical factor. Also due to the internal origin, in addition to analyzing human soul forces, he ...

The Implementation of Mazurkiewicz Traces in POEM

We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to store trace systems, which allows sharing common prefixes among traces and therefore, reduces memory cost. This structure is easy to extend to incorporate additional features. Two applications are shown in the paper: An ...